#include <assert.h>
#include <stdio.h>

int main()
{
  float a = 1e15;         // Var #1
  float b = 1;            // Var #2
  float c = a + b;        // Var #3
  float d = c - a;        // Var #4
  float e = b;		  // Var #5

  printf("The value of d is: %.15lf\n", (double)d);
  assert(d == 1);

  return 0;
}
